- 双语例句 更多例句
1、
Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics
情境语义学对外延模型论和可能世界语义学的批判
互联网摘选
2、
研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。
互联网摘选
3、
This is also shown by the vagueness of KaKbp → Kap in possible world semantics.
可传递性公式KaKbp→Kap在可能世界语义学上的模糊性，也表明了这一点。
互联网摘选
4、
巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。
互联网摘选
5、
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
互联网摘选
6、
然而，尽管可能世界语义学能让我们更直观地理解模态逻辑表达式，但是依然衍生出许多问题。
互联网摘选
7、
因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。
互联网摘选
- 相关词组
- World Consumer Right Dayn.世界消费者权益日，每年的3月15日;
- not for world不适合世界范围
- a man of the worldn.通世故的人;
- business world工商界;
- die to the world隐居，不问人间事;
- first world warn.第一次世界大战;
- all over the worldadv.全世界;举世;五洲四海;普天之下;
- move up in the world在世界发展
- man of the worldn.饱经世故者，爱享乐者;
- for all the worldadv.无论如何;
- Disney worldn.迪斯尼世界;
- around the world世界各地；全世界;
- dead to the world沉睡的，不省人事的;对世事不闻不问;
- inner world精神世界;
- become famous all over the world在世界各地成名
- come down in the worldv.落魄;沦落;
- Brave New World美好的新世界（指社会大变动后出现的使人满怀希望的新时期，常含有讽刺意味）;
- map of the world世界地图;
- bbc world news英国广播公司世界新闻;英国广播公司世界新闻频道；世界新闻电视频道；环宇新闻
- modern world现代世界
- 今日热词
- 热门搜索
- candidate n.候选人;应试者;适合…的人/物;
- rhyme n.韵脚;韵文;押韵词;v.押韵;作押韵诗;
- damn vt.该死;谴责;(表示愤怒)混账;强烈指责;狠狠批评;令(某人)下地狱vi.诅咒;咒骂;
- anti n.& adj.反对者，反对论者反对的;
- immediate adj.即刻的;当前的;紧迫的;接近的;直系的;直接的;
- 金钗十二 many concubines;Having many concubines
- see you again 再见；再见一面；再次见到你
- fantasy n. 幻想;空想的产物;幻想作品;非正式的货币;vt.& vi. 想像;幻想;奏幻想曲;
- ending n.结局;结束;终结;最后部份;v.结束，终止(end的现在分词);
- whenever conj. 无论何时;每当;任何时间（都行）;不知什么时候;adv.（用于问句）究竟什么时候;
- airmail n.航空邮件;vt.航空邮寄;<谑>投;掷;抛;
- score n.得分;分数;二十;总谱;配乐;大量;刻痕;实情;v.得分;记分;获得胜利;编总谱;划下痕迹;非法购买;
